Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
601	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
602	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
603	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
604	A new, special initiative at SC\|05, HPC Analytics will " I expect HPC Analytics highlight rigorous and sophisticated methods of data analysis and visualization Add to Reading List Source URL: sc05.supercomputing.org Language: English - Date: 2005-03-01 21:29:15 Computing Parallel computing Formal sciences Computer graphics Scientific modeling High-performance computing Analytics Visualization Predictive analytics Business intelligence Science Business
605	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
606	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
607	This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2002-05-15 22:05:35 Automated theorem proving Mathematical logic Formal methods Logical truth Mathematical proof Proof assistant Formal proof Proof Theorem Logic Mathematics Proof theory
608	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
609	The 17th International Conference on Formal Engineering Methods CNAM Paris, 3 – 6 Nov. ICFEM 2015 Add to Reading List Source URL: icfem2015.lri.fr Language: English - Date: 2015-02-13 04:42:48 Conservatoire National des Arts et Métiers System Model checking Science Knowledge Grandes écoles Education Formal methods
610	Project Performance International http://www.ppi-int.com/newsletter/SyEN-040.php SYSTEMS ENGINEERING NEWSLETTER brought to you by Project Performance International (PPI) Add to Reading List Source URL: www.ppi-int.com Language: English Software project management Carnegie Mellon University Formal methods Software engineering Capability Maturity Model Integration Agile software development Extreme programming Software development methodology Microsoft Solutions Framework Software development Software Software development process

UPDATE